<?php
    if(PHP_OS == "WINNT")
    {
        /*Windows Includes*/
        require_once dirname(__FILE__).'\tools.php';
    }
    else
    {
        /*Unix / Linux includes*/
        require_once dirname(__FILE__).'/tools.php';
    }
    
    $action    = $_GET["action"];

    if($action == "logout")
    {
        tools::destroySession();
    }

?>
